Use of GSPNs for concurrent software validation in EPOCA
نویسندگان
چکیده
end tx 1 1 end tx 2 1 end rx 1 end tx 1 2 end tx 2 2 end rx 2 end tx 1 3 end tx 2 3 end rx 3 tx 2 3 tx 1 3 tx 2 2 tx 1 2 tx 2 1 tx 1 1 end tx 2 2 end tx 2 1 end tx 1 1 end tx 1 2 tx 1 2 tx 1 3 tx 1 1 tx 2 1 p 3 p 2 p 1
منابع مشابه
Functional and Temporal Analysis of Concurrent Systems
Modern computer systems use concurrent and distributed processing, which is very diierent from the sequential processing of earlier systems. Concurrency and synchro-nisation in such systems have multiplied the diiculties associated with analysing their correctness and performance. Generalised Stochastic Petri nets (GSPNs) allow for a natural expression of con-currency and support both types of ...
متن کاملClient - server programs analysis in the EPOCA environment
Client–server processing is a popular paradigm for distributed computing. In the development of client–server programs, the designer has first to ensure that the implementation behaves correctly, in particular that it is deadlock free. Second, he has to guarantee that the program meets predefined performance requirements. This paper addresses the issues in the analysis of client–server programs...
متن کاملQuantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10)
This talk shows how Markov Automata (MA) can be used to provide a truly simple semantics of Generalized Stochastic Petri Nets (GSPNs), a popular model in performance and dependability analysis that exists for more than 25 years. In fact, our approach works for all GSPNs. No restrictions are imposed on the concurrent/conflicting enabledness of immediate transitions. This contrasts with existing ...
متن کاملIntegrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets
This paper introduces a new approach for the construction of performance models of complex systems integrating software and hardware. Software components are speciied using hierarchical coloured GSPNs which extend the well established coloured GSPNs. Hardware components are composed of basic queues taken from queueing networks. Integration of queues into hierarchical GSPNs facilitates the speci...
متن کاملDesigning, validation, and reliability assessment of software to acquire kinematics parameters of motion by image processing
Motion analysis systems are useful and effective equipment in biomechanics research. Unfortunately these systems are available for few researchers because these are expensive equipment. The aim of this study was to design and validation of a practical and inexpensive software, to determine the exact markers position in space and compute the kinematic of movement. In designing the software, the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Information & Software Technology
دوره 36 شماره
صفحات -
تاریخ انتشار 1994